Forcing Axioms and Cardinal Arithmetic
نویسنده
چکیده
We survey some recent results on the impact of strong forcing axioms such as the Proper Forcing Axiom PFA and Martin’s Maximum MM on cardinal arithmetic. We concentrate on three combinatorial principles which follow from strong forcing axioms: stationary set reflection, Moore’s Mapping Reflection Principle MRP and the P-ideal dichotomy introduced by Abraham and Todorčević which play the key role in these results. We also discuss the structure of inner models of PFA and MM and present some open problems.
منابع مشابه
Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics
The purpose of this communication is to present some recent advances on the consequences that forcing axioms and large cardinals have on the combinatorics of singular cardinals. I will introduce a few examples of problems in singular cardinal combinatorics which can be fruitfully attacked using ideas and techniques coming from the theory of forcing axioms and then translate the results so obtai...
متن کاملForcing axioms and projective sets of reals
This paper is an introduction to forcing axioms and large cardinals. Specifically, we shall discuss the large cardinal strength of forcing axioms in the presence of regularity properties for projective sets of reals. The new result shown in this paper says that ZFC + the bounded proper forcing axiom (BPFA) + “every projective set of reals is Lebesgue measurable” is equiconsistent with ZFC + “th...
متن کاملOn the strength of PFA I∗†
Building on the work of Schimmerling ([11]) and Steel ([17]), we show that the failure of square principle at a singular strong limit cardinal implies that there is a non-tame mouse. This is the first step towards getting a model of ADR + “Θ is regular” from PFA via the core model induction. One of the wholly grails of inner model program has been determining the exact consistency strength of f...
متن کاملNotes to “The Resurrection Axioms”
I will discuss a new class of forcing axioms, the Resurrection Axioms (RA), and the Weak Resurrection Axioms (wRA). While Cohen’s method of forcing has been designed to change truths about the set-theoretic universe you live in, the point of Resurrection is that some truths that have been changed by forcing can in fact be resurrected, i.e. forced to hold again. In this talk, I will illustrate h...
متن کاملGeneric embeddings associated to an indestructibly weakly compact cardinal
I use generic embeddings induced by generic normal measures on Pκ(λ) that can be forced to exist if κ is an indestructibly weakly compact cardinal. These embeddings can be used in order to obtain the forcing axioms MA(<μ-closed) in forcing extensions. This has consequences in V: The singular cardinal hypothesis holds above κ, and κ has a useful Jónsson-like property. This, in turn, implies that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008